Software Design Trends Supporting Multiconcern Assurance

High-Assurance Software Design for Mobile Tele-Health Systems

This panel will focus on the security and reliability challenges posed by distributed, mobile tele-health solutions (particularly those based on mobile phones). Academic, clinical, as well as industry panelists with direct experience in the design and implementation of mobile tele-health solutions will provide insights on how those challenges have been addressed thus far, and what are some of t...

Analytical Design of Evolvable Software for High-Assurance Computing

Software Assurance Using Structured Assurance Case Models

Software assurance is an important part of the software development process to reduce risks and ensure that the software is dependable and trustworthy. Software defects and weaknesses can often lead to software errors and failures and to exploitation by malicious users. Testing, certification and accreditation have been traditionally used in the software assurance process to attempt to improve ...

High Assurance System Software

This paper describes an approach to developing high assurance system software. We demonstrate how different formal methods can be applied in the development process by matching specific techniques and tools to the different levels of system requirements and how those techniques can complement each other.

Software Assurance for Security

Computer security is taking on new importance as electronic commerce metamorphoses from hype to reality. Large and small businesses alike are reinventing themselves as e-commerce players. The implications for computer security practice are immense. When bits count as money, protecting bits becomes as important as any other aspect of running a successful business. One essential element shared by...